Merge pull request #1218 from antonio-nino-diaz-arm/an/xlat-fix
authordavidcunado-arm <[email protected]>
Tue, 16 Jan 2018 01:10:13 +0000 (01:10 +0000)
committerGitHub <[email protected]>
Tue, 16 Jan 2018 01:10:13 +0000 (01:10 +0000)
xlat v2: Correctly unmap regions on map error


Trivial merge